int do_fork();
int do_getpid();
int do_wait(int pid);